| |
| Company: | Paweng.com |
| License: | Shareware |
| Version: | 1.0.3 |
| System: | Palm OS |
| Size: | 0 |
| Date Released: | January 26, 2002 |
| Price: | $12 |
| Screenshot: | No Screenshot |
| Downloads: | 1594 |
| Homepage: | http |
| Date added: | Sep 23, 2005 |
| Click here to Download |
|
|
PawLogic is a program for manipulating boolean expressions. The
program handles both expressions in propositional logic and quantified
boolean formulae (QBF).
Logic is widely used today. It forms the basis of mathematical
proof methods. It is used in formal verification like symbolic model
checking and equivalence checking of combinational and sequential
circuits. Logic is also behind product configurators and the construction of
remote controls and traffic light intersections. And logic is
something we all use daily. For example, most of us readily accept the
following reasoning: `If it rains, I get wet. It rains. Therefore I
get wet.` This is applied logic.
PawLogic lets you work and experiment with logic. If you are a
student of logic, you get a valuable tool to aid you in your
studies. If you are a professional working with logic, you get an
always accissible logic program for you to use whether at the office,
at home or on the move. And if you are just interested in the world of
logic, here is your chance to get hands-on experience.
PawLogic works under PalmOS 2.0 and higher. Copyright © 2000
Poul F. Williams. All Rights Reserved.
Visit the PawEng webpage for more information. We have a manual available online including a number of screenshots.
|
|
|
|
NEWS
So far, nothing for that!
RECOMMENDED DOWNLOADS IN THIS CATEGORY
|
|
|
|
| » solving of equations 1
|
| This program solves simultaneous equations of degree 2,3 and 4. It also determine roots of polynomials of degree 1, 2 and 3. For example 2x+3y=6 and 5x-9y=23 will be solved by this program. It solves also y=3xxx+2xx-5x+7 ... |
|
| Co.za | 0 | Win 3.1/95/NT/2000/98/ME | $15 | Downloads: 1620 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Morello Matrix Calculator 1.1.1
|
| Morello Matrix Calculator is a simple, pocket calculator style program which performs most standard matrix calculations. It supports matrices up to 20 elements square (shareware version is limited to 2 elements square). It also allows data to be exchanged ... |
|
| Co.uk | 0 | Win 95/NT/2000/98/ME | $10 | Downloads: 1563 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Formula calculator 1.05
|
| This is a compact powerful formula calculator which understands most of mathematical functions (trigonometric, hyperbolic, raising to power, extraction of any root,...), matrix operations, finds roots and minima of functions and calculates integrals. In c ... |
|
| Newmail.ru | 0 | Win 95/NT/2000/98/ME | $15 | Downloads: 1626 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » EUKLID, Single User License 2.0
|
| With EUKLID you can make geometric constructions just like you do with ruler and compasses. But EUKLID makes dynamic drawings: you can drag some objects after you finished your construction without losing the interdependency between its various objects. F ... |
|
| Mechling.de | 0 | Win 95/NT/2000/98/ME | E25 | Downloads: 1603 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » EUKLID, Extended School License 2.0
|
| With EUKLID you can make geometric constructions just like you do with ruler and compasses. But EUKLID makes dynamic drawings: you can drag some objects after you finished your construction without losing the interdependency between its various objects. F ... |
|
| Mechling.de | 0 | Win 95/NT/2000/98/ME | E125 | Downloads: 1640 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » 3D Geometrical Objects - Site license 1.0
|
| The program can represent the following objects in 3D space: regular prism (3 to 10 sides); general three-sided prism; special four-sided prism (adjustable inclination of sides); regular pyramid (3 to 10 sides). For each geometrical object we can intera ... |
|
| Simtel.net | 0 | Win 95/NT/2000/98/ME | $143 | Downloads: 2023 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » PawLogic -- License B 1.0.3
|
| PawLogic is a program for manipulating boolean expressions. The program handles both expressions in propositional logic and quantified boolean formulae (QBF). Logic is widely used today. It forms the basis of mathematical proof methods. It is used in ... |
|
| Paweng.com | 0 | Palm OS | $12 | Downloads: 1594 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » MatheFreak 1.01
|
| Kurzbeschreibungen der enthaltenen Programme: Bruchrechnung V1.01s: Aufgabentypen: Addieren, Subtrahieren, Multiplizieren, Dividieren von Brüchen Erweitern, kürzen, ordnen, vergleichen von Brüchen; Bruchteile bestimmen; Umrechnung Kommazahl Bruchzahl ... |
|
| T-online.de | 0 | Win 95/98/ME | E8.62 | Downloads: 1795 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Euklides Dynamic Geometry - single user license 2.4
|
| Euklides is a vectorgraphical geometric construction and designer program. A construction is not a static formation on a drawback, but - because of the mobility of base points - it is a structure appearing in form of a spectacular animation. During the dy ... |
|
| Euklides.hu | 0 | Win 95/NT/2000/XP/98/ME | $35 | Downloads: 1653 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| |
| Euklides.hu | 0 | Win 95/NT/2000/XP/98/ME | $160 | Downloads: 1816 |
| Date added: Sep 23, 2005 |
» Details |
|
|
|
|
| |
| Moti.hu | 0 | Win 95/NT/2000/XP/98/ME | $50 | Downloads: 1593 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| |
| Dynageo.de | 0 | Win 95/NT/2000/98/ME | E25 | Downloads: 1608 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| |
| Dynageo.de | 0 | Win 95/NT/2000/98/ME | E125 | Downloads: 3353 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » GraphSight (single license) 1.3
|
| GraphSight is a convenient tool to plot and explore 2D math functions. It makes it easy to plot common cartesian y(x) and x(y) graphs, parametric and polar ones. The program also easily imports, exports and plots table-defined graphs (up to 10000 data uni ... |
|
| Cradlefields.com | 0 | Win 95/NT/2000/XP/98/ME | $19 | Downloads: 1574 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » DTMF-Ton-Decoder PAS LE 3.2 3.2
|
| The PAS LE-3.2 software is an essential tool for audio technicians, police officers, forensic technicians, countermeasures technicians, and other audio related fields. The program provides the user a audio spectrum analyzer that is powerful and simple ... |
|
| Pas-products.com | 0 | Win 95Win CE / Pocket PC /NT/2 | $169 | Downloads: 1590 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » GEUP (School License) 2.0
|
| GEUP is an interactive, powerful and easy to use software for learning and doing Geometry on the computer. It allows to verify geometric properties in a precise way and to discover new properties through the exploration. With GEUP you can study graphicall ... |
|
| Geup.net | 0 | Win 95/NT/2000/98/ME | E119 | Downloads: 1685 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Derivador 2.2 2.2
|
| The application calculates the derivative of a function entered at the editor. This calculation can show the process, step by step. You can obtain a printer copy of the results. You can save it on a text file, that can be edited on a text editor. ... |
|
| Inicia.es | 0 | Win 95/98/ME | $9.9 | Downloads: 1701 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Prime or not ! 5.0
|
| Prime Or Not ! is a complete cellection of tools for primality testing/factorization. Using PON! you can test the primality of numbers up to E200. PON! also performs tests on Mersenne`s numbers up to the 99 999th; A Mersenne number has the form (2^p ... |
|
| Winsite.com | 0 | Win 95/2000/98/ME | $25 | Downloads: 1587 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Exacta 2.0
|
| Non-satisfied with the Windows calculator ? Exacta is a calculator that performs all basic functions and many others never seen yet: -Calculating Greatest Common Factor (G.C.F) -Calculating Least Common Multiple (L.C.M) -Calculating Log with any ... |
|
| Tripod.com | 0 | Win 95/98/ME | $25 | Downloads: 1862 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » GraphWizard (unlimited users license) 1.0
|
| GraphWizard is a simple graph plotting program for cartesian and polar equations. It is particularly suitable for school & college students and their teachers. It is similar to a graphical calculator and makes the production of reports particularly easy w ... |
|
| Co.uk | 0 | Win 95/NT/2000/XP/98/ME | E75 | Downloads: 1665 |
| Date added: Sep 23, 2005 |
» Details |
|
|
|
|
| |
